Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check
نویسندگان
چکیده
منابع مشابه
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling
We propose a hybrid MIP/CP approach for solving multiactivity shift scheduling problems, based on regular languages that partially describe the set of feasible shifts. We use an aggregated MIP relaxation to capture the optimization part of the problem and to get rid of symmetry. Whenever the MIP solver generates a integer solution, we use a CP solver to check whether it can be turned into a fea...
متن کاملOrbital Shrinking: A New Tool for Hybrid MIP/CP Methods
Orbital shrinking is a newly developed technique in the MIP community to deal with symmetry issues, which is based on aggregation rather than on symmetry breaking. In a recent work, a hybrid MIP/CP scheme based on orbital shrinking was developed for the multi-activity shift scheduling problem, showing significant improvements over previous pure MIP approaches. In the present paper we show that ...
متن کاملDetecting Infeasibility and Generating Cuts for MIP using CP
We study a hybrid MIP/CP solution approach in which CP is used for detecting infeasibilities and generating cuts within a branch-and-cut algorithm for MIP. Our framework applies to MIP problems augmented by monotone constraints that can be handled by CP. We illustrate our approach on a generic multiple machine scheduling problem, and compare it to other hybrid MIP/CP algorithms.
متن کاملA hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry
Over the last years, there has been a growing interest in the idea of combining the two techniques of Constraint Programming and Mixed Integer Programming. The idea is appealing, because the techniques are very similar in that they both rely on the idea of branching and are principally able to solve almost the same class of problems, on the other hand the efficiency of the techniques on certain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SN Operations Research Forum
سال: 2020
ISSN: 2662-2556
DOI: 10.1007/s43069-020-00023-2